翻訳と辞書 Words near each other ・ Lawton, Kansas ・ Lawton, Michigan ・ Lawton, North Dakota ・ Lawton, Oklahoma ・ Lawton, Oklahoma metropolitan area ・ Lawton, West Virginia ・ Lawton, Wisconsin ・ Lawton-Almy-Hall Farm ・ Lawton-Fort Sill Cavalry ・ Lawtons ・ Lawtons, New York ・ Lawtonville Baptist Church ・ Lawton–Fort Sill Regional Airport ・ Lawu language ・ Lawunuia language ・ Lawvere theory ・ LawWithoutWalls ・ Lawyacado ・ Lawyer ・ Lawyer (disambiguation) ・ Lawyer (name) ・ Lawyer joke ・ Lawyer Lawyer ・ Lawyer Magalu ・ Lawyer Man ・ Lawyer Milloy ・ Lawyer Quince ・ Lawyer Quince (1914 film) ・ Lawyer Quince (1924 film) ・ Lawyer referral service Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Lawvere theory ： ウィキペディア英語版 Lawvere theory In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category which can be considered a categorical counterpart of the notion of an equational theory. ==Definition== Let $\backslash aleph\_0$ be a skeleton of the category FinSet of finite sets and functions. Formally, a Lawvere theory consists of a small category ''L'' with (strictly associative) finite products and a strict identity-on-objects functor $I:\backslash aleph\_0^\backslash text\backslash rightarrow\; L$ preserving finite products. A model of a Lawvere theory in a category ''C'' with finite products is a finite-product preserving functor . A morphism of models where ''M'' and ''N'' are models of ''L'' is a natural transformation of functors. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Lawvere theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.